package org.goobs.logic;

import java.util.HashMap;
import java.util.Set;

public class ConjunctiveFormula implements Formula{

	private class InstantiatedTerm{
		private Predicate pred;
		private Term[] term;
	}
	
	private Predicate [] preds;
	private ConjunctiveFormula[] implies = new ConjunctiveFormula[0];
	
	private Set <InstantiatedTerm> relevantTerms;
	private Set <Integer> signalsReceived;
	
	protected ConjunctiveFormula(WellFormedFormula wff){
		//TODO compile a disjunctive normal formula from a wff
		parse(wff);
	}
	
	private void parse(WellFormedFormula wff){
		
	}

	@Override
	public void receiveSignal(Predicate pred, Term[] terms, LogicEngine engine,
			int signalIndex) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public void receiveSignal(HashMap<Integer, Term> unkMap,
			LogicEngine engine, int signalIndex) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public Set<Integer> signalsReceived() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public void clearSignals() {
		// TODO Auto-generated method stub
		
	}
	
	
	
	
}
